fundamental theorems of welfare economics
Convex preferences
Varian's theorems
– a competitive equilibrium is both Pareto-efficient and envy-free.
General equilibrium theory
https://en.wikipedia.org/wiki/Fundamental_theorems_of_welfare_economics